declare i32 @get_int()

declare float @get_float()

declare i32 @get_char()

declare i32 @get_int_array(i32*)

declare i32 @get_float_array(float*)

declare void @put_int(i32)

declare void @put_float(float)

declare void @put_char(i32)

declare void @put_int_array(i32, i32*)

declare void @put_float_array(i32, float*)

define i32 @main() {
label_entry:
  br label %label4
label_ret:                                                ; preds = %label13
  ret i32 %op16
label4:                                                ; preds = %label_entry, %label7
  %op16 = phi i32 [ 20, %label_entry ], [ %op9, %label7 ]
  %op6 = icmp ne i32 %op16, 0
  br i1 %op6, label %label7, label %label13
label7:                                                ; preds = %label4
  %op9 = sub i32 %op16, 1
  br label %label4
label13:                                                ; preds = %label4
  br label %label_ret
}
